Electronic Books

Total Books: 1 - 20 /27
978-3-540-79701-2
Ada 2005 Rationale : The Language, The Standard Libraries

The primary goals for this book were to enhance its capabilities particularly in those areas where its reliability and predictability ...

Continue reading
978-3-540-77505-8
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues

This book cover theory, practice, applications, and experiences related to secure software.

Continue reading
978-3-540-77505-8
Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues

This book cover theory, practice, applications, and experiences related to secure software.

Continue reading
978-3-540-31648-0
Architecting Dependable Systems III

As software systems become ubiquitous, the issues of dependability become more and more crucial. Given that solutions to ...

Continue reading
978-3-540-31614-5
Component-Based Software Development for Embedded Systems

Embedded systems are ubiquitous. They appear in cell phones, microwave ovens, refrigerators, consumer electronics, cars, ...

Continue reading
978-1-84628-269-0
Condition Monitoring and Control for Intelligent Manufacturing

Manufacturing systems and processes are becoming increasingly complex, making more rational decision-making in process control ...

Continue reading
978-3-540-32092-0
Dependable Computing

Contains the proceedings of the 'Second Latin-American Symposium' on Dependable Computing, LADC 2005. This book comprises ...

Continue reading
978-3-540-74964-6
Domain Modeling and the Duration Calculus

The book presented provide competent coverage of software security, domain modeling of software engineering, and duration ...

Continue reading
978-3-540-74964-6
Domain Modeling and the Duration Calculus

The book presented provide competent coverage of software security, domain modeling of software engineering, and duration ...

Continue reading
978-3-540-36411-5
Embedded Computer Systems: Architectures, Modeling, and Simulation (vol. # 4017)

This book constitutes the refereed proceedings of the 6th International Workshop on Systems, Architectures, Modeling, and ...

Continue reading
978-3-030-60910-8
Embedded System Design Embedded Systems Foundations of Cyber-Physical Systems, and the Internet of Things

A unique feature of this open access textbook is to provide a comprehensive introduction to the fundamental knowledge in ...

Continue reading
978-3-540-31973-3
Embedded Systems Design

Embedded systems now include a very large proportion of the advanced products designed in the world, spanning transport (avionics, ...

Continue reading
978-0-387-23044-3
Event-Triggered and Time-Triggered Control Paradigms

Event-Triggered and Time-Triggered Control Paradigms presents a valuable survey about existing architectures for safety-critical ...

Continue reading
978-3-540-31616-9
Formal Modeling and Analysis of Timed Systems (vol. # 3829)

This book constitutes the thoroughly refereed post-proceedings of the Third International Conference on Formal Modeling and ...

Continue reading
978-3-540-33171-1
Hybrid Systems: Computation and Control (vol. # 3927)

These are the proceedings of the 9th International Workshop on Hybrid Systems: Computation and Control, HSCC 2006, March ...

Continue reading
978-1-4842-7480-4
Introducing Blockchain Applications : Understand and Develop Blockchain Applications Through Distributed Systems / Joseph Thachil George

Deepen your understanding of blockchain technology and develop your own blockchain applications. This book provides a thorough ...

Continue reading
978-0-387-71718-0
Just-in-Time Scheduling

As the field of Supply Chain Management has matured, maintaining the precise flow of goods to maintain schedules (hence, ...

Continue reading
NoIMG
Manufacturing Execution Systems - MES

The production plants of today develop into modern service centers. Economic efficiency of modern added value is not a property ...

Continue reading
978-1-84628-251-5
Measurement, Control, and Communication Using IEEE 1588

IEEE 1588, published in November 2002, is a technology new to the engineering community expanding the performance capabilities ...

Continue reading
978-3-540-32093-7
Model Driven Architecture - Foundations and Applications

Constitutes the refereed proceedings of the First European Conference, Workshops on Model Driven Architecture - Foundations ...

Continue reading
Total Books: 1 - 20 /27